Skip to content

docs: align devtools profile name with requirements - #53

Merged
dprada merged 1 commit into
mainfrom
codex/update-dependency-profile-in-agents.md
Nov 3, 2025
Merged

docs: align devtools profile name with requirements#53
dprada merged 1 commit into
mainfrom
codex/update-dependency-profile-in-agents.md

Conversation

@dprada

@dprada dprada commented Nov 3, 2025

Copy link
Copy Markdown
Collaborator

Summary

  • update the devtools dependency profile list to refer to the singular test key
  • adjust nearby guidance to keep the test profile name consistent

Testing

  • not run

https://chatgpt.com/codex/tasks/task_e_6908149e748883269409fcb292082e75

@dprada
dprada merged commit 710fa0d into main Nov 3, 2025
6 checks passed
@dprada
dprada deleted the codex/update-dependency-profile-in-agents.md branch November 4, 2025 04:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant